Nuprl Definition : ma-msgtype
11,40
postcript
pdf
Msgtype(
da
;
k
) ==
da
(
k
)?Void
latex
clarification:
Msgtype(
da
;
k
) == fpf-cap(
da
;KindDeq;
k
;Void)
latex
Definitions
f
(
x
)?
z
,
KindDeq
,
Void
FDL editor aliases
ma-msgtype
origin